2

Epistemological Metaphors and the Nature of Philosophy

Year:
2004
Language:
english
File:
PDF, 102 KB
english, 2004
5

Exact Model Counting of Query Expressions

Year:
2017
Language:
english
File:
PDF, 1009 KB
english, 2017
9

Log Depth Circuits for Division and Related Problems

Year:
1986
Language:
english
File:
PDF, 1.11 MB
english, 1986
13

Exponential lower bounds for the pigeonhole principle

Year:
1993
Language:
english
File:
PDF, 2.80 MB
english, 1993
14

Optimal Bounds for the Predecessor Problem and Related Problems

Year:
2002
Language:
english
File:
PDF, 269 KB
english, 2002
15

Lower bounds for recognizing small cliques on CRCW PRAM's

Year:
1990
Language:
english
File:
PDF, 1.14 MB
english, 1990
17

The complexity of computing symmetric functions using threshold circuits

Year:
1992
Language:
english
File:
PDF, 811 KB
english, 1992
18

The resolution complexity of random graph k-colorability

Year:
2005
Language:
english
File:
PDF, 219 KB
english, 2005
23

File service for SIGDOC 93

Year:
1993
Language:
english
File:
PDF, 1.51 MB
english, 1993
31

212

Year:
2014
Language:
english
File:
PDF, 48 KB
english, 2014
32

324

Year:
2015
Language:
english
File:
PDF, 60 KB
english, 2015
35

Book Reviews

Year:
1983
Language:
english
File:
PDF, 8.35 MB
english, 1983
43

A general Sequential Time-Space Tradeoff for Finding Unique Elements

Year:
1991
Language:
english
File:
PDF, 1.04 MB
english, 1991
49

The Efficiency of Resolution and Davis--Putnam Procedures

Year:
2002
Language:
english
File:
PDF, 273 KB
english, 2002
50

Formula Caching in DPLL

Year:
2010
Language:
english
File:
PDF, 541 KB
english, 2010